Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

Source URL: www.ieee-security.org

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• KeY
• Symbolic execution
• Thread
• LLVM
• Parallel computing
• D
• Concolic testing

Privacy-Preserving Compressive Sensing for Crowdsensing based Trajectory Recovery Linghe Kong∗‡ , Liang He† , Xiao-Yang Liu‡ , Yu Gu§ , Min-You Wu‡ , Xue Liu∗ ∗ McGill University, Canada, Email: linghe.ko

Source URL: wirelesslab.sjtu.edu.cn

Self-Practice Imitation Learning from Weak Policy Qing Da, Yang Yu, and Zhi-Hua Zhou National Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China {daq,yuy,zhouzh}@lamda.nju.edu.cn

Source URL: cs.nju.edu.cn

• Survey methodology
• Machine learning algorithms
• Sampling techniques
• Artificial intelligence
• Sampling
• Support vector machine
• Reinforcement learning
• Simple random sample
• Learning
• Machine learning
• Cognition

Structured Memory for Neural Turing Machines Wei Zhang ∗ Yang Yu Bowen Zhou IBM Watson zhangwei,yu,

Source URL: www.thespermwhale.com

Incremental Discovery of Prominent Situational Facts Afroza Sultana 1 , Naeemul Hassan 1 , Chengkai Li 1 , Jun Yang 2 , Cong Yu 3 1 University of Texas at Arlington, 2 Duke University, 3 Google Research

Source URL: ranger.uta.edu

BASS: Approximate Search on Large String Databases Jiong Yang Wei Wang Philip Yu UIUC UNC Chapel Hill

Source URL: web.cs.ucla.edu

Structured Memory for Neural Turing Machines Wei Zhang, Bowen Zhou, Yang Yu

Source URL: www.thespermwhale.com

Cruz Roja Tijuana Team Members: Hans Yuan, Rammy Issa, Maria Lomidze, Alex Hermstad, Shivali Mathur, Ting Yu, Timothy Lam, Parth Patel, Ramtin Roshanmanesh, Julia Kapich, Sinan Bayoud, James Han, Fu Yang Chin Executive

Source URL: globalties.ucsd.edu

User Embedding for Scholarly Microblog Recommendation Yang Yu, Xiaojun Wan and Xinjie Zhou Institute of Computer Science and Technology, The MOE Key Laboratory of Computational Linguistics, Peking University, Beijing 100

Source URL: www.aclweb.org

1 Video Telephony for End-consumers: Measurement Study of Google+, iChat, and Skype Yang Xu, Chenguang Yu, Jingjiang Li and Yong Liu Department of Electrical and Computer Engineering

Source URL: eeweb.poly.edu